Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

C2E2 is a bounded reachability analysis tool for nonlinear dynamical systems and hybrid automaton models. Previously it required users to annotate each system of differential equations of the hybrid automaton with discrepancy functions, and since these annotations are difficult to get for general nonlinear differential equations, the tool had limited usability. This version of C2E2 is improved ...

Quantitative local L2gain and Reachability analysis for nonlinear systems

1Department of Electrical Engineering and Computer Science, University of California at Berkeley, Berkeley, CA, USA 2Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN, USA 3DSO National Laboratories, Singapore 4California Institute of Technology, Department of Control and Dynamical Systems, Pasadena, CA, USA 5Department of Mechanical Engineering, Univer...

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ẋ = g(x), we study an approximating system ẋ = f(x) which is easier to handle. The class of approximating systems we consider in this paper is piecewise linear, obtained by interpolating g over a mesh. In order to be conservative, we add ...

Reachability analysis of uncertain nonlinear systems using guaranteed set integration

In this paper we show how to compute the reachable space for uncertain nonlinear continuous dynamical systems by using guaranteed set integration. We introduce two ways to do so. The first one is a full interval method which handles whole domains for set computation and relies on Taylor series and interval analysis. The second one relies on the theory of monotone dynamical systems and can be us...

Dynamic Analysis of Linear Structural Systems with Nonlinear Vibrating Isolators Using Mode Superposition Method